User [(2x 4)^2]-(3x^2_ 4) does not exist